@PackageAnnotation
package annotated;
